a||(b||c)
